∀A∈2^X(A^∘⊆A)